منابع مشابه
Ternary relations and relevant semantics
Modus ponens provides the central theme. There are laws, of the form A → C. A logic (or other theory) L collects such laws. Any datum A (or theory T incorporating such data) provides input to the laws of L. The central ternary relation R relates theories L; T and U , where U consists of all of the outputs C got by applying modus ponens to major premises from L and minor premises from T . Underl...
متن کاملA Proof of the Compositions of Time Interval Relations
We prove the 169 compositions of time interval relations. The proof is first-order and inferred from an axiomatic system on time intervals. We show a general proof template that can alleviate the manual proof with Isar.
متن کاملOn Representations of Ternary Order Relations in Numeric Strings
Order-preserving matching is a string matching problem of two numeric strings where the relative orders of consecutive substrings are matched instead of the characters themselves. The order relation between two characters is a ternary relation (>,<,=) rather than a binary relation (>,<), but it was not su ciently studied in previous works [5, 7, 1]. In this paper, we extend the representations ...
متن کاملA succinct data structure for self-indexing ternary relations
The representation of binary relations has been intensively studied and many different theoretical and practical representations have been proposed to answer the usual queries in multiple domains. However, ternary relations have not received as much attention, even though many real-world applications require the processing of ternary relations. In this paper we present a new compressed and self...
متن کاملA succint data structure for self-indexing ternary relations
The representation of binary relations has been intensively studied and many different theoretical and practical representations have been proposed to answer the usual queries in multiple domains. However, ternary relations have not received as much attention, even though many real-world applications require the processing of ternary relations. In this paper we present a new compressed and self...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kybernetika
سال: 2021
ISSN: ['1805-949X', '0023-5954']
DOI: https://doi.org/10.14736/kyb-2021-3-0404